5.39/7.00	unsat
