9.62/12.84	unsat
