39.22/41.49	unsat
