40.08/66.00	unsat
