15.26/16.92	unsat
