5.57/9.87	unsat
