9.07/12.46	unsat
