14.66/14.78	unsat
