39.11/41.89	unsat
