7.56/7.69	unsat
