14.66/14.89	unsat
