39.62/41.85	unsat
