5.57/7.34	unsat
