14.64/15.20	unsat
