39.36/41.50	unsat
