9.47/10.55	unsat
