6.57/6.76	unsat
