3.57/4.90	unsat
