1.28/3.81	unsat
