15.77/15.92	unsat
