11.88/11.95	unsat
