10.08/12.85	unsat
