40.62/41.21	unsat
