7.47/12.08	unsat
