14.87/15.22	unsat
