6.79/9.34	unsat
