39.20/41.65	unsat
