5.57/8.68	unsat
