14.88/15.22	unsat
