7.69/8.34	unsat
