14.64/14.76	unsat
