1.33/4.06	unsat
