7.68/9.23	unsat
