6.54/9.52	unsat
