4.68/7.73	unsat
