14.97/15.84	unsat
