11.97/15.02	unsat
