5.30/6.76	unsat
