5.57/6.34	unsat
