14.97/18.20	unsat
