15.70/17.02	unsat
