38.62/41.37	unsat
