14.67/14.76	unsat
