9.77/12.41	unsat
