42.67/42.76	unsat
