14.57/15.83	unsat
