8.57/12.78	unsat
