15.17/17.88	unsat
