3.47/3.59	unsat
