9.42/12.07	unsat
