9.08/12.43	unsat
