14.66/14.76	unsat
