5.69/5.76	unsat
