5.57/8.08	unsat
