3.01/4.81	unsat
