4.42/7.04	unsat
