9.18/11.95	unsat
