9.08/11.97	unsat
