9.82/14.94	unsat
