6.91/7.40	unsat
