39.41/39.50	unsat
