9.73/11.95	unsat
