5.88/7.76	unsat
