39.30/41.29	unsat
