9.96/10.42	unsat
