14.87/18.22	unsat
