9.06/10.42	unsat
