8.39/11.02	unsat
