5.29/7.96	unsat
