2.67/2.76	unsat
