3.04/4.97	unsat
