15.77/16.92	unsat
