4.97/7.69	unsat
