14.64/15.92	unsat
